Stichworte: redundancy wastes space